Posets on up to 16 Points
نویسندگان
چکیده
In this article we describe a very efficient method to construct pairwise nonisomorphic posets (equivalently, T0 topologies). We also give the results obtained by a computer program based on this algorithm, in particular the numbers of nonisomorphic posets on 15 and 16 points and the numbers of labelled posets and topologies on 17 and 18 points.
منابع مشابه
The Number of Unlabeled Orders on Fourteen Elements
Lacking an explicit formula for the numbers T0(n) of all order relations (equivalently: T0 topologies) on n elements, those numbers have been explored only up to n = 13 (unlabeled posets) and n = 15 (labeled posets), respectively. In a new approach, we used an orderly algorithm to (i) generate each unlabeled poset on up to 14 elements and (ii) collect enough information about the posets on 13 e...
متن کاملA NEW CHARACTERIZATION OF ABSOLUTELY PO-PURE AND ABSOLUTELY PURE S-POSETS
In this paper, we investigate po-purity using finitely presented S-posets, and give some equivalent conditions under which an S-poset is absolutely po-pure. We also introduce strongly finitely presented S-posets to characterize absolutely pure S-posets. Similar to the acts, every finitely presented cyclic S-posets is isomorphic to a factor S-poset of a pomonoid S by a finitely generated right con...
متن کاملOn (po-)torsion free and principally weakly (po-)flat $S$-posets
In this paper, we first consider (po-)torsion free and principally weakly (po-)flat $S$-posets, specifically we discuss when (po-)torsion freeness implies principal weak (po-)flatness. Furthermore, we give a counterexample to show that Theorem 3.22 of Shi is incorrect. Thereby we present a correct version of this theorem. Finally, we characterize pomonoids over which all cyclic $S$-posets are ...
متن کاملMeet-continuity on $L$-directed Complete Posets
In this paper, the definition of meet-continuity on $L$-directedcomplete posets (for short, $L$-dcpos) is introduced. As ageneralization of meet-continuity on crisp dcpos, meet-continuity on$L$-dcpos, based on the generalized Scott topology, ischaracterized. In particular, it is shown that every continuous$L$-dcpo is meet-continuous and $L$-continuous retracts ofmeet-continuous $L$-dcpos are al...
متن کاملAngle Orders
A finite poset is an angle order if its points can be mapped into angular regions in the plane so that x precedes y in the poset precisely when the region for x is properly included in the region for y. We show that all posets of dimension four or less are angle orders, all interval orders are angle orders, and that some angle orders must have an angular region less than 180” (or more than 180”...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Order
دوره 19 شماره
صفحات -
تاریخ انتشار 2002